On Martin’s pointed tree theorem
نویسندگان
چکیده
منابع مشابه
Du Val Curves and the Pointed Brill-noether Theorem
We show that a general curve in an explicit class of what we call Du Val pointed curves satisfies the Brill-Noether Theorem for pointed curves. Furthermore, we prove that a generic pencil of Du Val pointed curves is disjoint from all Brill-Noether divisors on the universal curve. This provides explicit examples of smooth pointed curves of arbitrary genus defined over Q which are Brill-Noether g...
متن کاملInductive theorem proving based on tree grammars
Induction plays a key role for reasoning in many areas of mathematics and computer science. A central problem for the automation of proof by induction is the non-analytic nature of induction invariants. In this paper we present an algorithm for proving universal statements by induction that separates this problem into two phases. The first phase consists of a structural analysis of witness term...
متن کاملNote on the Pfaffian Matrix-Tree Theorem
SCOTT HIRSCHMAN AND VICTOR REINER Kir ho 's elebrated Matrix-Tree Theorem gives a determinant ounting spanning trees in a graph. It has at least three di erent well-known proofs: one via the Binet-Cau hy Theorem (see e.g. [5, x2.2℄), one via a deletionontra tion indu tion (see e.g. [2, x13.2℄), and one due to Chaiken [1℄ via a sign-reversing involution. Re ently Masbaum and Vaintrob [3℄ proved ...
متن کاملAround Matrix-tree Theorem
Generalizing the classical matrix-tree theorem we provide a formula counting subgraphs of a given graph with a fixed 2-core. We use this generalization to obtain an analog of the matrix-tree theorem for the root system Dn (the classical theorem corresponds to the An-case). Several byproducts of the developed technique, such as a new formula for a specialization of the multivariate Tutte polynom...
متن کاملOn a Generalization of Martins ’ Inequality
Let faigi1⁄41 be an increasing nonconstant sequence of positive real numbers. Under certain conditions on this sequence we prove the following inequality
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computability
سال: 2016
ISSN: 2211-3576,2211-3568
DOI: 10.3233/com-150047